Observability-based-Rules-for-DesigningConsistent-EKF-SLAM-Estimators