11 militants killed as Egyptian army launches crackdown on Sinai