Bayesian calibration of a flood simulator using binary flood extent observations