Finite-size scaling for percolation above six dimensions