Numerical relativity simulations of binary neutron stars