Theory of dust-acoustic shocks