A dual frequency microstrip patch antenna for high-precision GPS applications