A resource-rational model of physical abstraction for efficient mental simulation