What does censure mean? Explaining Al Green's punishment by House vote