Proposing a queueing model for battery swapping and charging stations using tropical algebra to analyze performance.