Servio, Commento al libro IX dell' Eneide di Virgilio