Fused Gromov-Wasserstein distance for structured objects: theoretical foundations and mathematical properties