Resource transition systems and full abstraction for linear higher-order effectful programs