Multiplying integers using models