Hopw can we know that mining has started