Mining asteroids for volatile resources: an experimental demonstration of extraction and recovery