Militants attack checkpoint in Egypt’s Sinai, kill 5 police