Dissipativity properties of detailed models of synchronous generators