Which operator is used for string concatenation in Python?