Dark matter theory