Percolation Theory for Mathematicians