State estimation and observability analysis based on echelon forms of the linearized measurement models