Perfect for music lovers, Samsung announces Galaxy Player 4.2