Non-weight representations over the Virasoro algebra