L1 RTK System with Fixed Ambiguity: What SBAS Ranging Brings