Bitcoin: An Axiomatic Approach and an Impossibility Theorem