Useful martingales for stochastic storage processes with Lévy input