On Detailed Synchronous Generator Modeling for Massively Parallel Dynamic State Estimation