Rodri given a red card for Man City for dirty shove vs. Nottingham Forest