Holomorphic disks and three-manifold invariants: Properties and applications