Ocean Beach pier reopens after storm repairs