Distinguishability in quantum interference