Tomorrow.io’s radar satellites use machine learning to punch well above their weight