HP Realme 13: Spesifikasi, Tanggal Rilis, dan Tipe Gaming Phone