added vec4_rotateAroundAxis() function