ATK reports progress in Liberty space transportation system