Simplicial volume of nonpositively curved manifolds