Fredholm alternative, semilinear elliptic problems, and Wentzell boundary conditions