Dortmund officially appoints Lucien Favre as manager