Marathon mined 21% less bitcoin in June partly due to bad weather in Texas