Why football matches are just the right length