Champions League permutations: Are the groups decided by head-to-head record, or goal difference?