NASA opts for boulder-snatch concept in its asteroid redirect mission