Using a New Faulted Synchronous Machine Model for Hardware-In-Loop Testing of a Generator Protection Relay