A miniature TCXO for GPS/GNSS application