Understanding key features of bacterial restriction-modification systems through quantitative modeling | BMC Systems Biology