Samsung to announce Galaxy S III Mini on October 11th?