Biden appoints AI Safety Institute leaders as NIST funding concerns linger