RIM has seeded over 5,000 BlackBerry 10 Dev Alpha devices to developers