Dijaški dom – Gimnazija, elektro in pomorska šola Piran