Trump administration officially bans bump stocks