How should market makers take stock pinning into account in their trading strategy?