Duke of Edinburgh leaves UK hospital following exploratory surgery