Cosmological constant, dark matter, and electroweak phase transition