Three al-Qaeda leaders killed in US attack