Mars geodesy, rotation and gravity