EU extends security training mission in Mali until 2023