How Bitcoin Adjusts Mining Difficulty to Maintain Block Time