已知一个点A(1,1,1),向量a(0, 1, 4),问点A围绕向量a旋转30度后的坐标是多少?