A synchronous generator circuital model for internal faults analysis and protection system design