Why Are Miners Involved in Bitcoin Code Changes Anyway?