Is it right to assume that initial potential energy in the spring is equal to the kinetic energy of the marble plus the kinetic energy of the spring at the point of release?