Smart contracts for sports betting