Rozmaitość symplektyczna