Critical percolation exploration path and SLE6: a proof of convergence