Algebraic surfaces and Seiberg-Witten invariants