Biden signs executive order directing release of some 9/11 documents