The Size of the Giant Component of a Random Graph with a Given Degree Sequence