Computer assisted proof of chaos in the Lorenz equations