Big in Reverse Mathematics: the uncountability of the real numbers