Global Positioning System for future Railway Control Systems: Integration of Satellite Positioning and a Track Database for Safety-Critical Railway Control Systems