Official: Barcelona sign Vermaelen from Arsenal