Musk settlement with SEC over tweets approved by U.S. judge