Dynamics of a two-strain vaccination model for polio. (October 2015)