STILF - A spatiotemporal interval logic formalism for reasoning about events in remote sensing data