Model-Based Fault Detection of Inverter-Based Microgrids and a Mathematical Framework to Analyze and Avoid Nuisance Tripping and Blinding Scenarios