Non-linear dynamic analysis of shallow foundations