Hypernuclear spectroscopy via (e, e'K+) in JLab's Hall A