Prince Philip discharged from hospital