Changed "Extensions" schema name to "ExtensionProperties"

This more specific name will avoid confusion with our schema extensions
(i.e. groups of optional tables).