Verma modules over the virasoro algebra