path mapping vs. extension mapping in servlets