Text this: A novel SIR-based computer virus propagation model with Beddington-DeAngelis functional response