Pavement milling machines