Title: Mining Bitcoins in Practice