A Local Energy Market Benefiting Power Grids and Energy Users: A P2P Trading-based Case Study