Ahead of Diwali, Mumbai records 12,690 property registrations in October, up 9%; stamp duty collections rise 12%