Gửi tin nhắn: Model formulations for the capacitated lot-sizing problem with service-level constraints