Flexibility services in the zero-emission smart grid: market models, regulations, actors and technologies