Varieties with trivial canonical bundle and related geometry