A computational tool for the design of live attenuated virus vaccine based on microRNA-mediated gene silencing