Uniqueness in percolation theory