Describir: Optimized mathematical models for multi-AGV scheduling problem with charging requirements and time windows