US agency opens formal probe into Tesla Autopilot system : v