A sum–product theorem in matrix rings over finite fields