US president overrules decision to broadcast execution of former soldier who carried out Texas mass shooting in 2009