High Tech High International used to be a military facility