Khuram Butt and Rachid Redouane were among three men who carried out Saturday’s terror attack, police say, as 12 others who were arrested are released without charge.