Democratizing weather derivatives through tokenization could be crypto's most important real-world use case