Explicitly synthesize properties to eliminate warnings with -Wobjc-missing-property-synthesis