bcs theory