Scientific modeling via abstraction and idealization