Design and empirical validation of effectiveness of LANGA, a game-based platform for second-language learning