On Elementary Loops of Logic Programs