Foreign exchange intervention and international policy coordination