Rapid inundation mapping using the US National Water Model, satellite observations, and a convolutional neural network