Relative state estimation and observability analysis for formation flying satellites