Satellite-Based Positioning for Railways