Siegel modular forms mod $p$ and their $U(p)$ congruences