Global complete observability and output-to-state stability imply the existence of a globally convergent observer