Twitter bug could have shared users’ private messages with developers