An optimization-based approach to extract faceted crystal shapes from stereoscopic images. (6th April 2015)