Convergence and Consistency Analysis for Extended Kalman Filter Based SLAM | Synapse