If the government bans assault weapons, which weapons will be banned? i.e., which firearms are assault weapons?