Twitter engineering chief resigns amid DeSantis launch problems