Phenomenology with massive neutrinos