Average rainfall contained by mexico city?