Coca cultivation in Colombia dropped slightly in 2018: UN