China eyes July 20-25 launch for Mars rover