Optimal Mining: Maximizing Bitcoin Miners' Revenues