Oil for export? A comparison of Libyan, Spanish and Tunisian olive oil production in the Roman empire