mining is legal