Describir: Performance Modelling and Analysis of Mobile Wireless Networks