Libyan checkpoint ambush kills at least 12 soldiers