Solving elliptic diophantine equations by estimating linear forms in elliptic logarithms. The case of quartic equations