Hardware and documentation of Vaquita Explorer ASV