Answer Set Programming Modulo Theories and Reasoning about Continuous Changes