Students back in school after gas leak investigation in Portsmouth