Most probable paths and performance formulae for buffers with gaussian input traffic