US judge approves Musk SEC settlement in July 8 ruling