Describir: Quantitative Performance Metrics for Mobile Robots Navigation