Gravar-mail: Understanding key features of bacterial restriction-modification systems through quantitative modeling