UK: Prince Philip leaves hospital