derive half life formula