Top executives of Texas electric grid resign after storm failure