Mario Williams on getting booed by Texans fans: 'It was great'