Protection HIL Testing of Utility Microgrids Embedding Grid-Forming Inverters