Musk says he may form holding company for Tesla, SpaceX