Bitcoin Mining: The Facts and The Odds