Flops and derived categories