Duke of Edinburgh funeral set for April 17