Qualitative Velocity Model: Representation, Reasoning and Application