An algorithm for accurate ionospheric total electron content and receiver bias estimation using GPS measurements