Samsung launches mid-range Galaxy A35 in the US at $400