History of Edinburgh – early times to the 1700s