hydrocele definition