FLSmidth appoints Mikko Tepponen as Chief Digital Officer