A Real-Time Based Platform for Integrating Power-to-Gas in Electrical Distribution Grids