Microsoft will discontinue Azure Data Studio