As politicians try to make sense of the results of the 2017 General Election, how well did the polls give us a guide to the final result? Leighton Vaughan Williams weighs the scores.