History of Andorra la Vella: first mention in 839