dc SQUID: Noise and optimization