Symplektisk mangfoldighed