T20 World Cup permutations: How can England reach the semi-finals?