Razumikhin-type theorem and mean square asymptotic behavior of the backward Euler method for neutral stochastic pantograph equations