Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility