Semidefinite Programming Strong Duality under Slater's Condition