Head of Children’s Discovery Museum of San Jose set to retire