Police gun down 5 'terrorists' after Barcelona attack