TPG Pace Energy Holdings Corp. changed its name to Magnolia Oil & Gas Corp.